Évaluation par les pairs : un travail d'étudiant ?: Faire participer les étudiants à leur notation

International audienceCette contribution présente deux expériences d'intégration de l'évaluation par les pairs dans l'évaluation finale d'unités d'enseignement. Évaluer est un savoir-faire important. Les expériences relatées ici montrent comment il est possible d'aborder ce thème d'enseignement comme un des objectifs d'une activité de type "projet"

Which use for Java in introductory courses ?

ISBN 0 901519 87 1. Colloque avec actes et comité de lecture. internationale.International audienceIn the eye of educators, Java looks like a very promising tool. This paper discusses how we can use Java in introductory computer science courses. We first present and analyze how Java fits in our requirements in this context. Then, we present our strategy, based on using functional then object programming

Premières leçons sur la spécification d'un train d'atterrissage en B événementiel

National audienceCe papier présente les leçons préliminaires obtenues en traitant en B Événementiel l'étude de cas proposée par la conférence ABZ 2014. Le problème consiste à modéliser le logiciel de contrôle du train d'atterrissage d'un avion. L'utilisation de B Évémentiel sur cette étude pose des questions intéressantes quant à la nature des invariants, quant au moment de leur introduction, ainsi que quant à l'expression et la vérification des propriétés fonctionnelles. Le raffine- ment est organisé en niveaux d'observation structurés par la description du maté- riel. Le système est vu comme un automate assez simple piloté par des capteurs externes. La description d'un tel système en B Événementiel est simple mais sa validation est beaucoup plus difficile. Cette étape utilise JeB, un simulateur de B Événementiel en JavaScript. L'émulation des capteurs est un point crucial

Evidence for a subgroup of thioredoxin h that requires GSH/Grx for its reduction

AbstractPoplar thioredoxin h4 (popTrxh4) and a related CXXS type (popCXXS3) are both members of a plant thioredoxin h subgroup. PopTrxh4 exhibits the usual catalytic site WCGPC, whereas popCXXS3 harbors the non-typical active site WCMPS. Recombinant popTrxh4 and popCXXS3 are not reduced either by Arabidopsis thaliana NADPH-dependent thioredoxin reductases (NTR) A and B or by Escherichia coli NTR. We report here evidence that a poplar glutaredoxin as well as three E. coli Grxs are able to reduce popTrxh4. PopTrxh4 is able to reduce several thioredoxin targets as peroxiredoxins or methionine sulfoxide reductases. On the other hand, popCXXS3 exhibits an activity in the presence of glutathione and hydroxyethyldisulfide. Except for examples of glutathiolation, these are the first two examples of a direct interconnection between the thioredoxin and glutathione/glutaredoxin systems

Software Engineering Education by Example

Based on the old but famous distinction between "in the small" and "in the large" software development, at Nancy Universit\'e, UHP Nancy 1, we experience for a while software engineering education thanks to actual project engineering. This education method has the merit to enable students to discover and to overcome actual problems when faced to a large project which may be conducted by a large development team. The mode of education is a simulation of an actual software engineering project as encountered in "real life\'e" activities

Cysteine–based redox regulation and signaling in plants

Living organisms are subjected to oxidative stress conditions which are characterized by the production of reactive oxygen, nitrogen, and sulfur species. In plants as in other organisms, many of these compounds have a dual function as they damage different types of macromolecules but they also likely fulfil an important role as secondary messengers. Owing to the reactivity of their thiol groups, some protein cysteine residues are particularly prone to oxidation by these molecules. In the past years, besides their recognized catalytic and regulatory functions, the modification of cysteine thiol group was increasingly viewed as either protective or redox signaling mechanisms. The most physiologically relevant reversible redox post-translational modifications (PTMs) are disulfide bonds, sulfenic acids, S-glutathione adducts, S-nitrosothiols and to a lesser extent S-sulfenyl-amides, thiosulfinates and S-persulfides. These redox PTMs are mostly controlled by two oxidoreductase families, thioredoxins and glutaredoxins. This review focuses on recent advances highlighting the variety and physiological roles of these PTMs and the proteomic strategies used for their detection

Branimation

http://www.event-b.org/rodin09.html / http://wiki.event-b.org/index.php/Rodin_Workshop_2009Rodin User and Developer Workshop Plus Rodin Plug-in Development Tutorial University of Southampton, 15-17 July 2009Brama is one of animation tools for Event-B specifications supported by Rodin Platform. It enables quick validation of models. While animating an Event-B specification with Brama, sometimes we stumble upon some technical issues which prevent its execution. This paper addresses them through systematic transformations